Automated diagnosis of feature model configurations
نویسندگان
چکیده
منابع مشابه
Automated diagnosis of feature model configurations
Software product-lines (SPLs) are software platforms that can be readily reconfigured for different project requirements. A key part of an SPL is a model that captures the rules for reconfiguring the software. SPLs commonly use feature models to capture SPL configuration rules. Each SPL configuration is represented as a selection of features from the feature model. Invalid SPL configurations ca...
متن کاملEvolving feature model configurations in software product lines
The increasing complexity and cost of software-intensive systems has led developers to seek ways of reusing software components across development projects. One approach to increasing software reusability is to develop a Software Product-line (SPL), which is a software architecture that can be reconfigured and reused across projects. Rather than developing software from scratch for a new projec...
متن کاملAutomated Diagnosis of Product-line Configuration Errors on Feature Models
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Configuration of large feature models involve multiple stages and participants, which makes it hard to avoid conflicts and errors. New techniques are therefore needed to debug invalid configurations and derive the minimal ...
متن کاملAutomated Formal Analysis of Internet Routing Configurations
AUTOMATED FORMAL ANALYSIS OF INTERNET ROUTING CONFIGURATIONS Anduo Wang Boon Thau Loo Andre Scedrov Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomous systems (ASes). To create provably correct networks, the past twenty years have witnessed, among many other efforts, a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Systems and Software
سال: 2010
ISSN: 0164-1212
DOI: 10.1016/j.jss.2010.02.017